Space of Baire functions. I
نویسندگان
چکیده
منابع مشابه
Formally continuous functions on Baire space
A function from Baire space N to the natural numbers N is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working in Bishop constructive mathematics: one is a function induced by a Brouwer-operation (i.e. inductively defined neighbourhood function); the other is a fu...
متن کاملWhen are Borel functions Baire functions ?
The following two theorems give the flavour of what will be proved. THEOREM. Let Y be a complete metric space. Then the families of first Baire class functions and of first Borel class functions from [0, 1] to Y coincide if and only if Y is connected and locally connected. THEOREM. Let Y be a separable metric space. Then the families of second Baire class functions and of second Borel class fun...
متن کاملOn Baire and Harmonic Functions
We consider two spaces of harmonic functions. First, the space H(U) of functions harmonic on a bounded open subset U of R and continuous to the boundary. Second, the space H0(K) of functions on a compact subset K of R n which can be harmonically extended on some open neighbourhood of K. A bounded open subset U of R is called stable if the space H(U) is equal to the uniform closure of H0(U ). We...
متن کاملFunctions Whose Composition with Baire Class One Functions Are Baire Class One
We study the functions whose composition with Baire class one functions are Baire class one functions. We first prove some characterizations of such functions, then investigate a subclass of such functions which are defined in a natural way.
متن کاملCompact subsets of the Baire space
Let P be the natural forcing for producing a finite splitting tree using finite conditions. Namely, p ∈ P iff p ⊆ ω is a finite subtree and p ≤ q iff p ⊇ q is an end extension of q. End extension means if s ∈ p\q then s ⊇ t for some t ∈ q which is terminal in q, i.e., has no extensions in q. This order is countable and hence forcing equivalent to adding a single Cohen real. The union of P-gener...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annales de l’institut Fourier
سال: 1974
ISSN: 0373-0956
DOI: 10.5802/aif.531